and Logic

Results: 11835



#Item
201

A Generic Logic for Proving Linearizability (Extended Version) Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2

Add to Reading List

Source URL: software.imdea.org

- Date: 2016-09-06 10:47:26
    202

    Inspiration Hilbert Lattices, axiomatization, and decidability Dimension in QL(LH n ) Finite submodel property Quantum logic on finite dimensional Hilbert

    Add to Reading List

    Source URL: www.iub.edu

    - Date: 2009-05-12 06:28:28
      203

      To appear in A. Gupta and J. van Benthem (eds.), Logic and Philosophy Today, College Publications, Logic and Social Choice Theory Ulle Endriss Institute for Logic, Language and Computation University of Amsterdam

      Add to Reading List

      Source URL: staff.fnwi.uva.nl

      - Date: 2012-01-09 08:18:25
        204

        A Generic Logic for Proving Linearizability Artem Khyzha1 , Alexey Gotsman1 , and Matthew Parkinson2 1 2 IMDEA Software Institute

        Add to Reading List

        Source URL: software.imdea.org

        - Date: 2016-09-06 10:47:15
          205

          A Characterisation of Open Bisimilarity using an Intuitionistic Modal Logic∗ Ki Yung Ahn1 , Ross Horne2 , and Alwen Tiu3 1 School of Computer Science and Engineering, Nanyang Technological

          Add to Reading List

          Source URL: drops.dagstuhl.de

          - Date: 2017-09-01 10:27:18
            206

            Under consideration for publication in Theory and Practice of Logic Programming 1 Certificate Size Reduction in Abstraction-Carrying Code∗

            Add to Reading List

            Source URL: cliplab.org

            - Date: 2012-08-07 09:26:50
              207

              QS7 Complete Axiomatizations for Quantum Actions A. Baltag∗ and S. Smets† Abstract We present two equivalent axiomatizations for a logic of quantum actions: one in terms of quantum transition systems, and the other i

              Add to Reading List

              Source URL: www.vub.ac.be

              - Date: 2005-04-07 17:35:20
                208

                Theory and Practice of Logic Programming 1 The Language Features and Architecture of B-Prolog

                Add to Reading List

                Source URL: www.sci.brooklyn.cuny.edu

                - Date: 2011-02-23 16:01:36
                  209

                  Logic and Proof -- 3rd supervision Verify this equivalence using BDDs ¬( P Q) == ¬ P ¬ Q Do Exercise 43 in the lecture notes Previous exam questions 2007 Paper 5 Question 9

                  Add to Reading List

                  Source URL: www.cl.cam.ac.uk

                  - Date: 2008-11-12 09:12:05
                    UPDATE